#include <stdio.h>

int main() {
    char s[1000];
    while (scanf("%[^\n]", s) != EOF) {
        getchar();
        printf("%s | hello world\n", s);
    }
    return 0;
}